TURING AWARD LECTURE Reflections on Trusting Trust To wh:t extent sh.ou!d one tr~st a statement that a program is free of Trojan horses. Perhaps It IS more Important to trust the people who wrote the software.

Source URL: informatiques-orphelines.fr

2016 Editorial Calendar January 2016 March 2016

Source URL: www.acm-media.org

• Internet Hall of Fame
• Turing Award laureates
• Vint Cerf
• Byte
• SIGGRAPH
• Internet privacy
• Computer ethics
• Turing Award

TURING AWARD LECTURE Reflections on Trusting Trust To what extent should one trust a statement that a program is free of Trojan horses? Perhaps it is more important to trust the people who wrote the software.

Source URL: www.ece.cmu.edu

• Software engineering
• Computer programming
• Computing
• Procedural programming languages
• Quine
• D
• ALGOL 68
• XPL
• Printf format string
• C
• Pascal
• Name mangling

Contact: Jim OrmondCRYPTOGRAPHY PIONEERS RECEIVE ACM A.M. TURING AWARD

Source URL: awards.acm.org

• Turing Award laureates
• Public-key cryptography
• Cryptography
• Applied mathematics
• Whitfield Diffie
• Ralph Merkle
• Martin Hellman
• DiffieHellman key exchange
• Turing Award
• Cryptographic protocol
• Ron Rivest
• Key management

IRVINE: OFFICE OF THE EXECliTIVE VICE CHANCELLOR AND PROVOST March 27, 2013 ASSISTANT PROFESSORS Re: Call for Applications, Hellman Faculty Fellows Program Dear Colleagues:

Source URL: www.ap.uci.edu

• Cryptography
• Faculty
• Turing Award laureates
• Frances Hellman
• Whitfield Diffie

The birth of Simula Stein Krogdahl Department of Informatics, University of Oslo, Norway This paper is published in the proceedings of the HiNC 1 Conference in Trondheim, JuneIFIP WG 9.7, in coo

Source URL: folk.uio.no

• Procedural programming languages
• Turing Award laureates
• Simula
• Source code
• Ole-Johan Dahl
• Object-oriented programming languages
• Object-oriented programming
• ALGOL
• Kristen Nygaard
• BETA
• Library
• Subroutine

The Birth of Object Orientation: the Simula Languages⋆ Ole-Johan Dahl Dept. of Informatics, University of Oslo, Norway Abstract. The development of the programming languages Simula I and Simula 67 is briefly described.

Source URL: www.olejohandahl.info

• Software engineering
• Computer programming
• Programming language theory
• Procedural programming languages
• Object-oriented programming languages
• Turing Award laureates
• Simula
• Ole-Johan Dahl
• Programming paradigms
• Object-oriented programming
• ALGOL
• Kristen Nygaard

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

2613 Speedway, Stop A2800 | Austin, TX 78712 | (MEDIA CONTACT Lauryn Feil Senior Communications Coordinator

Source URL: lifelong.engr.utexas.edu

• Science and technology in the United States
• Science and technology
• Engineering
• Turing Award laureates
• Ethernet
• David Boggs
• Butler Lampson
• Charles P. Thacker
• PARC
• Institute of Electrical and Electronics Engineers
• National Medal of Technology and Innovation
• Xerox Alto

Welcome to ECOOP 2009 in Genova! ECOOP 2009’s Organizing Committee is pleased to welcome you to Genova, for the 23rd European Conference on Object-Oriented Programming. Since it was first held, in Paris in 1987, ECOOP

Source URL: ecoop09.disi.unige.it

• Turing Award laureates
• European Conference on Object-Oriented Programming
• Dahl-Nygaard Prize
• David Ungar
• Kristen Nygaard
• Luca Cardelli
• Bertrand Meyer
• Ole-Johan Dahl
• W postcode area
• OOPSLA